cot(x) integral